The logic of justified belief, explicit knowledge, and conclusive evidence
نویسندگان
چکیده
منابع مشابه
The logic of justified belief, explicit knowledge, and conclusive evidence
We present a complete, decidable logic for reasoning about a notion of completely trustworthy (“conclusive”) evidence and its relations to justifiable (implicit) belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and “goodness” of a piece of evidence, and is based on an innovative m...
متن کاملThe Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
We present a logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically-omniscient agents. We do this by adapting key tools and techniques from Dynamic Epistemic Logic, Justification Logic, and Belief Revision so as to provide a lightweight, yet finegrained approach that characterizes well-known epistemic and doxastic attitudes in terms of th...
متن کاملJustified Belief and the Topology of Evidence
We introduce a new topological semantics for evidence, evidencebased belief, knowledge and learning. This setting generalizes (and in a sense improves on) the evidence models for belief due to van Benthem and Pacuit, as well as our own previous work on (a topological semantics for) Stalnaker’s doxasticepistemic axioms. We prove completeness, decidability and finite model property for the associ...
متن کاملIs knowledge justified true belief?
Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2014
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.07.005